the essence of software test based on model is how to develop effective test cases based on software specifications 基于模型的软件测试的本质是如何依据一种以适当方式描述的软件规格说明来设计和生成有效的测试用例。
doorsanalyst supports the use of uml 2.0, the state-of-the-art, standardized visual systems and software specification language, for visual modeling doorsanalyst支持在可视化建模时使用uml2.0,这是具有最新技术发展水平的标准化可视化系统及软件的规范语言。
deriving operational software specification from system goals . in proc . 10th acm sigsoft symposium on the foundations of software engineering, charleston, south carolina, usa, 2002, pp . 119-128 从环境及其交互的语义模型出发,研究软件需求的本质含义,试图建立从需求到软件规格说明的平滑连续需求工程过程。
after making adequate analysis upon the errors ever occurred in areospace computer system, together with a lot of case data, we can see it distinctly that the software specifications are often the important sources of the errors 通过对航天计算机系统的软件所普遍存在着的错误进行分析,结合一些实际数据,我们清晰地看到,软件需求规格说明常常是引起软件错误的重要来源。
this paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology . according to requirement of the interlocking software " s reliability and safety . considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system 本论文针对合肥工大微型计算机应用研究所研究开发的hj04a铁路信号计算机联锁系统,根据计算机联锁系统联锁软件设计可靠性和安全性要求,从软件的需求分析着手,综合uml统一建模语言方法和形式化描述语言z语言的方法,设计出完全的、一致的、无冗余的、无歧义的、符合系统要求的联锁软件规格说明书。